Revision by Translation

In this paper, we show that it is possible to accomplish belief revision in any logic which is translatable to classical logic. We start with the example of the propositional modal logic K and show that a belief operation in K de ned in terms of K0s translation to classical logic veri es the AGM postulates. We also consider the case of non-classical logics by taking Belnap's four-valued logic [5] as an example. A sound and complete axiomatization of that logic in classical logic is given and then used in the de nition of a belief revision operator for the logic in terms of a classical AGM operator. We show that the operator also veri es the AGM postulates whenever they make sense in the context of non-classical logics.